著作者

萩谷昌己／著　西崎真也／著

メーカー名/出版社名

岩波書店

出版年月

2026年2月

ISBNコード

978-4-00-006194-0
(4-00-006194-1)

頁数・縦

２５６Ｐ　２１ｃｍ

分類

理学／数学 ／数学一般

出荷の目安

5～10営業日前後で発送いたします。
お受け取りいただける日はお届けする国・量・時期により多少前後します。

カートに入れる

出版社の商品紹介

出版社からのコメント

論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるラムダ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「仕組み」を理解する。

• ※商品代の他に送料がかかります。
  送料は商品代・送付先によって変わります。詳しくは書籍の料金についてのご案内をご確認ください。
• ※現時点でお取り扱いがない場合でも、今後購入可能となる場合がございます。
• ※送付先を追加・変更される場合はご購入前にマイページよりご登録をお願いいたします。
• ※商品は予告なく取り扱い中止となる場合がございます。
• ※ご注文商品が在庫切れなどの際はキャンセルのご連絡をさせていただく場合がございます。